Functions on maps.

In each of the following,

1. domain(EXPR)
   . The value is the set of all values that appear as the first component of an element of the value of
   EXPR
   .

2. image(EXPR)
   . The value is the set of all values that appear as the second component of an element of the value of
   EXPR
   .